val inc_line : unit -> unit